31![Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving Taolue Chen, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, Unite Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving Taolue Chen, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, Unite](https://www.pdfsearch.io/img/c20b1f636c1de8d110df7fc41180b57a.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2013-06-03 18:23:17
|
---|
32![Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG Andrea Patan`e and Marta Kwiatkowska Department of Computer Science, University of Oxford Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG Andrea Patan`e and Marta Kwiatkowska Department of Computer Science, University of Oxford](https://www.pdfsearch.io/img/aa1fff0eaf0c4af9296b8b6f106d5e2f.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2018-07-24 04:40:17
|
---|
33![Introduction to the cognitive science of religion Helen De Cruz Philosophy Faculty, University of Oxford Graduate course Introduction to the cognitive science of religion Helen De Cruz Philosophy Faculty, University of Oxford Graduate course](https://www.pdfsearch.io/img/3063ed091a327ead421f3ec6cc4a8967.jpg) | Add to Reading ListSource URL: helendecruz.netLanguage: English - Date: 2015-12-13 11:35:17
|
---|
34![Secure Authentication in the Grid: A formal analysis of DNP3: SAv5 Cas Cremers, Martin Dehnel-Wild, Kevin Milner Department of Computer Science, University of Oxford. {cas.cremers,martin.dehnel-wild,kevin.milner}@cs.ox.a Secure Authentication in the Grid: A formal analysis of DNP3: SAv5 Cas Cremers, Martin Dehnel-Wild, Kevin Milner Department of Computer Science, University of Oxford. {cas.cremers,martin.dehnel-wild,kevin.milner}@cs.ox.a](https://www.pdfsearch.io/img/beffb8d90091970f2e4a29806b58ae75.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.ukLanguage: English - Date: 2017-06-22 17:04:38
|
---|
35![Comprehending Ringads for Phil Wadler, on the occasion of his 60th birthday Jeremy Gibbons Department of Computer Science, University of Oxford http://www.cs.ox.ac.uk/jeremy.gibbons/ Comprehending Ringads for Phil Wadler, on the occasion of his 60th birthday Jeremy Gibbons Department of Computer Science, University of Oxford http://www.cs.ox.ac.uk/jeremy.gibbons/](https://www.pdfsearch.io/img/5e85ce12bd130bec7c7fe482395e955d.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.ukLanguage: English - Date: 2016-04-12 05:49:08
|
---|
36![Entangled State Monads Extended abstract James Cheney, James McKinna, Perdita Stevens Dept. of Computer Science, University of Oxford Entangled State Monads Extended abstract James Cheney, James McKinna, Perdita Stevens Dept. of Computer Science, University of Oxford](https://www.pdfsearch.io/img/a3b5cf142443d2ffe955d2424cc19899.jpg) | Add to Reading ListSource URL: groups.inf.ed.ac.ukLanguage: English - Date: 2014-03-01 15:33:35
|
---|
37![1 To appear in A. Goldman/B. McLaughlin (eds): Metaphysics and Cognitive Science, Oxford University PressNatural Language and its Ontology 1 To appear in A. Goldman/B. McLaughlin (eds): Metaphysics and Cognitive Science, Oxford University PressNatural Language and its Ontology](https://www.pdfsearch.io/img/f4ea97763e432228df81829960009cf3.jpg) | Add to Reading ListSource URL: friederike-moltmann.comLanguage: English - Date: 2017-10-04 10:25:54
|
---|
38![HEmS – Hydrogen in Metals Grant meeting Dept. of Engineering Science, University of Oxford - 25 September 2014 The HEmS (Hydrogen in Metals) Programme Grant held its inaugural meeting in Oxford, on 25 SeptemberW HEmS – Hydrogen in Metals Grant meeting Dept. of Engineering Science, University of Oxford - 25 September 2014 The HEmS (Hydrogen in Metals) Programme Grant held its inaugural meeting in Oxford, on 25 SeptemberW](https://www.pdfsearch.io/img/9abb246d44f1c285f08e004f18990719.jpg) | Add to Reading ListSource URL: www.hems.ox.ac.ukLanguage: English - Date: 2016-09-20 09:40:18
|
---|
39![Learning from lions: inferring the utility of agents from their trajectories Adam D. Cobb Department of Engineering Science University of Oxford Learning from lions: inferring the utility of agents from their trajectories Adam D. Cobb Department of Engineering Science University of Oxford](https://www.pdfsearch.io/img/2ae05b04b8e9d1d3ad5116303ea07d3a.jpg) | Add to Reading ListSource URL: adamcobb.github.ioLanguage: English - Date: 2018-06-27 05:16:01
|
---|
40![A Closed-loop quantitative verification of rate-adaptive pacemakers NICOLA PAOLETTI, University of Oxford, Department of Computer Science ANDREA PATANE` , University of Catania, Department of Mathematics and Computer Sci A Closed-loop quantitative verification of rate-adaptive pacemakers NICOLA PAOLETTI, University of Oxford, Department of Computer Science ANDREA PATANE` , University of Catania, Department of Mathematics and Computer Sci](https://www.pdfsearch.io/img/e71f0059b8c229693afc9fc8842fecd4.jpg) | Add to Reading ListSource URL: www.nicolapaoletti.comLanguage: English - Date: 2017-11-11 16:45:09
|
---|